A Simpli ed Account of Polymorphic References
نویسنده
چکیده
A proof of the soundness of Tofte's imperative type discipline with respect to a structured operational semantics is given. The presentation is based on a semantic formalism that combines the bene ts of the approaches considered by Wright and Felleisen, and by Tofte, leading to a particularly simple proof of soundness of Tofte's type discipline.
منابع مشابه
Simpli"ed models of neocortical pyramidal cells preserving somatodendritic voltage attenuation
Simpli"ed models are needed for performing large-scale network simulations involving thousands of cells. Ideally, these models should be as simple as possible, but still capture important electrotonic properties, such as voltage attenuation. Here, we propose a method to design simpli"ed models with correct voltage attenuation, based on camera-lucida reconstructions of neurons. The simpli"ed mod...
متن کاملA New Approach to Subdivision Simpli cation
The line simpli cation problem is an old and well-studied problem in cartography. Although there are several algorithms to compute a simpli cation, there seem to be no algorithms that perform line simpli cation in the context of other geographical objects. This paper presents a nearly quadratic time algorithm for the following line simpli cation problem: Given a polygonal line, a set of extra p...
متن کاملCompiling State Constraints
The evaluation of constraints needs in many cases that a large portion of the database to be accessed. This makes the process of integrity checking very di cult to implement e ciently. Thus nding methods to improve the evaluation of integrity constraints is an important area of research in the eld of database integrity. Most of these methods are based on simpli cation principles. One of these m...
متن کاملSimplified models of neocortical pyramidal cells preserving somatodendritic voltage attenuation
Simpli"ed models are needed for performing large-scale network simulations involving thousands of cells. Ideally, these models should be as simple as possible, but still capture important electrotonic properties, such as voltage attenuation. Here, we propose a method to design simpli"ed models with correct voltage attenuation, based on camera-lucida reconstructions of neurons. The simpli"ed mod...
متن کاملA New Version of Toom's Proof
There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to faulttolerant computation. Simon and Berman simpli ed and strengthened Toom's original proof: the present report is simpli ed exposition of their proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993